2 - PDFSEARCH.IO - Document Search Engine

2
Results: 835450

#	Item
471	Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming
472	Proof-producing reflection for HOL with an application to model polymorphism Benja Fallenstein1 and Ramana Kumar2 1 2 Add to Reading List Source URL: cakeml.org Language: English - Date: 2016-04-20 00:08:12 Mathematical logic Metalogic Logic Model theory Type theory Proof assistants Proof theory Higher-order logic Theoretical computer science Isabelle Simply typed lambda calculus Gdel's incompleteness theorems
473	1 Impatient Online Matching 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-03 21:41:26 Mathematical analysis Mathematics Computability theory Differential topology Mathematical logic Universal representation Symbol
474	Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1 Add to Reading List Source URL: spiral.imperial.ac.uk Language: English - Date: 2016-09-08 00:46:08 Humancomputer interaction Artificial intelligence Robot control Virtual reality Multimodal interaction Video game controllers Robot navigation Haptic technology Haptic perception Simultaneous localization and mapping Occupancy grid mapping Kalman filter
475	WCAG Web Content Accessibility Guidelines Version 2.0 Web Content Accessibility Guidelines (WCAG) is developed through the W3C Add to Reading List Source URL: about.muse.jhu.edu Language: English - Date: 2018-06-14 12:02:43 Computing ISO standards Software Game accessibility Web Content Accessibility Guidelines Web accessibility HTML Open formats Adobe Flash HTML element Accessibility PDF
476	An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Software engineering Computing Computer programming Functional languages High-level programming languages Object-oriented programming Data types Programming paradigms JavaScript Scope Operational semantics Semantics
477	Privacy & Security Toolkit 1/2 Privacy & Security Toolkit start Add to Reading List Source URL: mozilla.github.io Language: English - Date: 2017-10-25 11:59:04 Index of standards articles Standards Culture Four-square cipher
478	Certificate of Validation This is to certify that BaseServ Limited has successfully validated their compliance with the requirements of the PCI DSS Version 3.2 on . Add to Reading List Source URL: storage.sbg1.cloud.baseserv.com Language: English - Date: 2017-09-21 11:26:54 Information privacy Payment cards Economy E-commerce Financial services Computing Computer law Payment Card Industry Data Security Standard Peripheral Component Interconnect Payment card industry Conventional PCI Regulatory compliance
479	Learning Shape Analysis Marc Brockschmidt1 , Yuxin Chen2 , Pushmeet Kohli3 , Siddharth Krishna4 , and Daniel Tarlow5 1 Microsoft Research, 2 ETH Z¨ Add to Reading List Source URL: www.microsoft.com Language: English - Date: 2018-01-04 03:04:14 Formal languages Tree Heap Binary tree Context-free grammar Computing Software engineering Mathematics Regular tree grammar
480	Security in a Model for Long–running Transactions⋆ Damas P. Gruska1 , Andrea Maggiolo–Schettini2, and Paolo Milazzo2 1 2 Add to Reading List Source URL: pages.di.unipi.it Language: English - Date: 2015-12-18 06:55:14 Symbol Constructible universe

UPDATE